type Act<T> = T->T;
type CNum = Act<Act<Int> >;
